1.
7th International Conference on Automated Deducation
by Shostak, R. E.
ISBN: 9780387960227
List Price: $92.00
2.
7th International Conference on Automated Deduction
by Shostak, R. E.
ISBN: 9781475789249
List Price: $24.99